Detecting Semantic Conflicts using Static Analysis

Version control system tools empower developers to independently work on their development tasks. These tools also facilitate the integration of changes through merging operations, and report textual conflicts. However, when developers integrate their changes, they might encounter other types of conflicts that are not detected by current merge tools. In this paper, we focus on dynamic semantic conflicts, which occur when merging reports no textual conflicts but results in undesired interference - causing unexpected program behavior at runtime. To address this issue, we propose a technique that explores the use of static analysis to detect interference when merging contributions from two developers. We evaluate our technique using a dataset of 99 experimental units extracted from merge scenarios. The results provide evidence that our technique presents significant interference detection capability. It outperforms, in terms of F1 score and recall, previous methods that rely on dynamic analysis for detecting semantic conflicts, but these show better precision. Our technique precision is comparable to the ones observed in other studies that also leverage static analysis or use theorem proving techniques to detect semantic conflicts, albeit with significantly improved overall performance

A Systematic Study on Approaches to deal with the Systems’ Evolution and Customization

System developers often face problems in the maintenance and evolution of software systems when they need to customize products to meet different customers needs, by creating new components and modifying existing source code. In this work, it is presented a comparative analysis of existing approaches that deal with variations in Software Product Lines (LPS) through a rigorous study of the state of the art, observing their applicability to handle customizations

DIREITO COLABORATIVO: É PRECISO ACHATAR A CURVA DE CRESCIMENTO DAS AÇÕES JUDICIAIS NO BRASIL

RESUMO: A garantia que tange na Constituição Federal, concernentes ao acesso à Justiça sofre solapadas em decorrência da precarização do poder judiciário por conta de fatores como uma estrutura ainda deficitária, somada ao quesito de inúmeros processos judicializados, os quais levam anos e até décadas para a resolução do mérito, o que corrobora na sobrecarga, inflamando os órgãos com pedidos que poderiam ser resolvidos através de meio alternativos de soluções de conflitos, assim, tornando a situação morosa ao Poder Judiciário. Formas alternativas de resolução de lides, tais quais conciliação, mediação, negociação, arbitragem, bem como o método conciliativo de resolução de conflitos, são soluções viáveis para encarar a problemática supramencionada; e ampliar o processo de democratização da Justiça, e da democracia participativa, proporcionando oportunidade de protagonismo a população na resolução de seus litígios sem a intervenção de um magistrado. Os destaques à conciliação encontram-se positivados no Código de Processo Civil, aferindo a figura do advogado e do próprio Poder Judiciário uma postura de incentivo ao novo modelo descrito, uma vez os institutos de consultoria e assessoria jurídica, que necessitam de pouco aparato estatal, fazem com que o processo seja mais célere, amigável e parta de vias consensuais, não havendo relações contratuais em detrimento de uma das partes, proporcionando uma advocacia preventiva, resistindo ao apelo do Poder Judiciário para a resolução de óbices simplórios. Ademais, os mercados e a tecnologia viabilizam a garantia à rapidez do trâmite processual, implementando inteligências artificiais capazes de proporcionar julgamentos centenas de vezes mais rápidos que um serventuário comum, garantindo o pleno desenvolvimento do conteúdo constitucional ao passo que confere razoável duração dos processos contribuindo substancialmente para a redução da quantidade de casos levados ao Poder Judiciário e a diminuição do tempo de espera necessário para que se atinja a conclusão e solução do litigio. O mercado viabiliza a celeridade pois a própria lógica do sistema econômico faz com que o advogado e o prestador de serviços jurídicos busquem formas mais eficientes para a redução do tramite processual, visando, então os métodos já descritos somados com a tecnologia e a inovação diária. A tecnologia, muitas vezes somada a lógica de mercado, faz com que haja inovações, como mecanismos de resolução automáticas (inteligência artificial). Entretanto, no mesmo modo em que as tecnologias acabam por ajudar no achatamento da curva de crescimento das ações judiciais brasileiras, elas geram novos desafios e necessidades aos juristas e a todo mecanismo jurídico para tornarem-se aptos

Análise dos erros mais comuns de aprendizes de programação que utilizam a linguagem Python

Este trabalho apresenta os resultados de uma análise da base de dados dos usuários do juiz on-line The Huxley, ilustrando os erros em tempo de execução – que por usar um interpretador de Python também reporta os erros sintáticos – mais comuns cometidos pelos aprendizes de programação da linguagem de programação Python. Os resultados da análise da base apontam que existem 143 tipos de erros, distribuídos em 20 classes e que os erros mais comuns são de sintaxe inválida, quando o aluno faz o uso incorreto de alguns comandos, como if, for, while, input e print e esquece o token ’:’ do comando condicional if, declaração de variáveis, quando é feito o uso de uma variável que não foi definida anteriormente e erros de tipos, quando são realizadas operações com tipos diferentes de dados. Esta compilação de erros mais comuns é de suma importância para que os professores os enfatizem durante suas aulas introdutórias de programação, visto que ocorrem continuadamente

Code Umpire: uma abordagem para avaliação automática e unificada de restrições em código-fonte de aprendizes de programação

Este artigo apresenta uma abordagem unificada de especificação e checagem de restrições de código-fonte apoiada por um analisador estático chamado Code Umpire. Esta ferramenta foi desenvolvida após uma coleta e análise de 497 problemas e mais de 10.000 submissões de problemas de programação da base de dados do juiz on-line The Huxley. Foi detectada, principalmente, a dificuldade que os alunos têm em exercitar a criação e utilização de funções recursivas. Além disso, este trabalho faz uma comparação com outras abordagens que também são apoiadas por um analisador estático

EME: Uma ferramenta para auxiliar a correção de erros de aprendizes de programação

Este trabalho apresenta uma proposta para apoiar o ensinoaprendizagem de programação de computadores, aprimorando o juiz on-line The Huxley através da capacidade de produzir mensagens de feedback que sejam facilmente compreendidas pelos aprendizes de disciplinas iniciais de programação , norteando-os sobre os erros de sintaxe apresentados ao realizar uma submiss˜ao ao juiz on-line. Foi feita uma análise na base de dados para catalogar os erros sintáticos de programação de cada linguagem disponível desta ferramenta. A linguagem Python foi a que mais apresentou submissões erradas, tornando-se nosso alvo de análise. Ao analisar os erros desta linguagem, os resultados apontam que existem 143 tipos de erros sintáticos, distribuídos em 20 classes. Por fim, foi realizada a elucidação dos requisitos, a implementação e integração com o juiz on-line. O estudo concluiu que as mensagens amigáveis são mais fáceis de serem entendidas do que as originais e também que foram mais úteis na correção dos erros sintáticos

Characteristics and Factors Associated with SARS-CoV-2 Infections in Individuals That Attended Referral Hospitals from Southern Region of Bahia State, Brazil: A Surveillance Network Retrospective Study

In December 2019, a novel coronavirus was detected in Wuhan, China, and rapidly spread worldwide. In Brazil, to date, there have been more than 20,000,000 confirmed cases of COVID-19 and more than 550,000 deaths. The purpose of the current study was to determine the clinical and epidemiological profile of the population affected by COVID-19 that have attended referral hospitals in Southern region of Bahia State, to better understand the disease and its risk factors in order to enable more appropriate conduct for patients. An observational, descriptive, cross-sectional, exploratory study was conducted using secondary data collected from the Laboratório de Farmacogenômica e Epidemiologia Molecular, Universidade Estadual de Santa Cruz (LAFEM/UESC). Chi-squared and Fisher’s exact tests were applied to determine the association between clinical symptoms and laboratory results, and to identify risk factors associated with SARS-CoV-2 infection. A total of 3135 individuals with suspected severe respiratory illness were analyzed and 41.4% of them tested positive for SARS-CoV-2 infection. Male individuals and having comorbidities were risk factors significantly associated with SARS-CoV-2 infection (OR = 1.17 and OR = 1.37, respectively). Interestingly, being a healthcare professional was a significantly protective factor (OR = 0.81, p < 0.001). Our findings highlight the importance of routinely testing the population for early identification of infected individuals, and also provide important information to health authorities and police makers to improve control measures, management, and screening protocols